#ifndef RISCV64_H
#define RISCV64_H

#include "private.h"

status_t v2p_riscv64(vmi_instance_t vmi, addr_t npt, page_mode_t npm, addr_t pt, addr_t vaddr, page_info_t *info);
GSList* get_va_pages_riscv64(vmi_instance_t UNUSED(vmi), addr_t UNUSED(dtb));
GSList* get_pages_riscv64(vmi_instance_t vmi, addr_t UNUSED(npt), page_mode_t UNUSED(npm), addr_t pt);

#endif